Variables
x4::[1,5..33]
x5::[1..10,50]
x6::[1..10,20..33]
Constraints
x4>=x5
x4<x6
x5<=x6
External Constraints
x4<=x3